COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂CSL ACM 
↓Association for Computing Machinery
↓Subcommittee of the Turing Award
↓211 E. 43rd Street
↓New York, N.Y. 10017∞

Dear Sir:

	I have just got around to respond to a request to endorse the
nomination of Robert Kowalski and Alain Colmerauer for the Turing Award.
I suppose it is too late for this year, but I think the matter should 
be kept alive till they get it.

	I think that logic programing is the most significant new method of
programing to have arisen since the 1960's.  Also, Kowalski and Colmerauer are
the right people to be recognized for this work.

	Logic programing in general and Prolog in particular have been 
influential in AI and database work and the theory of programing.  Specifically,
they enlarge the domain of facts that can be used directly as program.  I also 
believe that the ideas of logic programing will be developed further in Computer
Science.

.sgn


cc: V.S. Subrahmanian


jmc/ra